Inhalt des Dokuments

Master

Controller Synthesis for discrete event Systems in the Setting of a regular plant and a determi-nistic context-free specification in libFaudes

Donnerstag, 09. Mai 2013

Erstgutachter/in: Prof. Dr.-Ing. Nestmann
Zweitgutachter/in: Prof. Dr. rer. nat. Glesner

Jacobi, Stefan

---